Functional calculus

Results: 647



#Item
221Riemannian geometry / Algebraic geometry / Field theory / Valuation / Connection / Metric tensor / Holomorphic functional calculus / Geometry / Differential geometry / Abstract algebra

Local Tensor Valuations Daniel Hug Karlsruhe Institute of Technology (based on joint work with Rolf Schneider)

Add to Reading List

Source URL: csgb.dk

Language: English - Date: 2014-10-10 03:05:10
222Functional programming / Functions and mappings / Lambda calculus / Subroutines / Higher-order functions / Currying / Function / Anonymous function / Derivative / Software engineering / Declarative programming / Mathematics

 7  -     

Add to Reading List

Source URL: hop.perl.plover.com

Language: English - Date: 2008-12-09 12:52:19
223Subroutines / Functional programming / Higher-order functions / Lambda calculus / Data types / Anonymous function / Function / Partial application / XSLT / Software engineering / Declarative programming / Computing

Pearls of XSLT/XPath 3.0 Design

Add to Reading List

Source URL: www.xfront.com

Language: English - Date: 2013-01-08 07:12:23
224Subroutines / Functional programming / Lambda calculus / Anonymous function / Closure / Function / Higher-order function / XSLT / Haskell 98 features / Software engineering / Computing / Declarative programming

Implementing Closures in XSLT/XPath 3.0

Add to Reading List

Source URL: www.xfront.com

Language: English - Date: 2012-11-17 18:09:06
225Generalized functions / Operator theory / Ordinary differential equations / Spectral theory / Distribution / Functional analysis / Spectral theory of ordinary differential equations / Symbol / Mathematical analysis / Calculus / Mathematics

Existence and uniqueness of bounded weak solutions for some nonlinear parabolic problems

Add to Reading List

Source URL: www.boundaryvalueproblems.com

Language: English
226Distribution / Functional analysis / Spectral theory of ordinary differential equations / Wave equation / Mathematical analysis / Calculus / Mathematics

Deviating arguments, impulsive effects, and positive solutions for second order singular p-Laplacian equations

Add to Reading List

Source URL: www.advancesindifferenceequations.com

Language: English
227Functional languages / Procedural programming languages / Cross-platform software / Lisp programming language / Theoretical computer science / Scheme / Lisp / Closure / Lambda calculus / Software engineering / Computing / Computer programming

Revised5.93 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Add to Reading List

Source URL: www.r6rs.org

Language: English - Date: 2008-01-06 01:14:13
228Computability theory / Theoretical computer science / Models of computation / Type theory / Logic in computer science / Monad / Lambda calculus / Functional programming / Type system / Software engineering / Computing / Computer programming

Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2002-02-25 08:31:05
229Functional languages / Scripting languages / Procedural programming languages / Lisp programming language / Theoretical computer science / Scheme / Lisp / Closure / Lambda calculus / Software engineering / Computing / Computer programming

Revised5.94 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Add to Reading List

Source URL: www.r6rs.org

Language: English - Date: 2008-01-06 01:14:13
230Surfaces / Normal / Vector calculus / Operator theory / Ordinary differential equations / Holomorphic functional calculus / Theorems and definitions in linear algebra / Mathematics / Mathematical analysis / Algebra

c 2008 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 8, No. 2, pp, 2008

Add to Reading List

Source URL: www.ims.cuhk.edu.hk

Language: English - Date: 2009-02-19 07:56:50
UPDATE